Towards Standard Conformant BPEL Engines: The Case of Static Analysis
نویسندگان
چکیده
The errors in BPEL processes that are only detected at runtime are expensive to fix. Several modelers and process engines for BPEL exist, and the standard defines basic static analysis (SA) rules as a detection mechanism for invalid processes, but the actual conformance of BPEL modelers and engines regarding these rules is unknown. We propose to develop test cases to evaluate the conformance of BPEL modelers and engines regarding static analysis. The evaluation results enable decision makers to identify and use the most conformant engine and modeler that detect errors before runtime and therefore reduce costs.
منابع مشابه
Towards Uniform BPEL Engine Management in the Cloud
TheWeb Services Business Process Execution language (BPEL) is a standard for modeling and executing automated processes and is tailor-made for service orchestration. BPEL specifies a serialization format which every BPEL implementation has to understand, thus allowing for the portability of processes among runtime engines. Although the modeling and execution of BPEL processes is portable betwee...
متن کاملWofBPEL: A Tool for Automated Analysis of BPEL Processes
The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication acti...
متن کاملRunning BPEL Processes without Central Engines
WS-BPEL, or simply BPEL (Business Process Execution Language), is becoming a de facto standard for web services composition. It is natural to anticipate that the compositions are performed dynamically by a large number of end-users. However, the current process technology based on central process engines impedes the adoption of BPEL for this purpose. We propose an approach to execution of BPEL ...
متن کاملOpen Source versus Proprietary Software in Service-Orientation: The Case of BPEL Engines
It is a long-standing debate, whether software that is developed as open source is generally of higher quality than proprietary software. Although the open source community has grown immensely during the last decade, there is still no clear answer. Service-oriented software and middleware tends to rely on highly complex and interrelated standards and frameworks. Thus, it is questionable if smal...
متن کاملUsing formal methods to develop WS-BPEL applications
In recent years, there has been an ever increasing acceptance of WS-BPEL as a standard language for orchestration of web services. However, there are still some well-known difficulties that make programming in WS-BPEL a tricky task. In this paper, we firstly point out major loose points of the WS-BPEL specification by means of many examples, some of which are also exploited to test and compare ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014